Improving Users' Menta Models of Intelligent Software ToolsMUELLER, Shane T; KLEIN, Gary.IEEE intelligent systems. 2011, Vol 26, Num 2, pp 77-83, issn 1541-1672, 7 p.Article

PT-SAFE: A Software Tool for Development and Annunciation of Medical Audible AlarmsBENNETT, Christopher L; MCNEER, Richard R.Anesthesia and analgesia. 2012, Vol 114, Num 3, pp 576-583, issn 0003-2999, 8 p.Article

Applications à la demande : pas toujours simple, ni économiqueBREBION, Patrick.Archimag (Vincennes). 2008, Num 213, pp 30-31, issn 0769-0975, 2 p.Article

Whole execution tracesXIANGYU ZHANG; GUPTA, Rajiv.IEEE/ACM international symposium on microarchitecture. 2004, pp 105-116, isbn 0-7695-2126-6, 1Vol, 12 p.Conference Paper

Comparison of Verification Methods for OASIS Files : Hierarchical or Flat?KATO, Kokoro; TANIGUCHI, Yoshiyuld; ENDO, Masakazu et al.Proceedings of SPIE, the International Society for Optical Engineering. 2008, Vol 7028, pp 702834.1-702834.8, issn 0277-786X, isbn 978-0-8194-7243-4 0-8194-7243-3, 2Conference Paper

High level test of complex systemsMARGARIA, Tiziana.International journal on software tools for technology transfer (Print). 2005, Vol 7, Num 4, issn 1433-2779, 95 p.Serial Issue

COMPASSS (COMplex PAttern of Sequence Search Software), a simple and effective tool for mining complex motifs in whole genomesMACCARI, Giuseppe; GEMIGNANI, Federica; LANDI, Stefano et al.Bioinformatics (Oxford. Print). 2010, Vol 26, Num 14, pp 1777-1778, issn 1367-4803, 2 p.Article

An Evaluation of a Novel Software Tool for Detecting Changes in Physiological MonitoringANSERMINO, J. Mark; DANIELS, Jeremy P; HEWGILL, Randy T et al.Anesthesia and analgesia. 2009, Vol 108, Num 3, pp 873-880, issn 0003-2999, 8 p.Article

Reveling in ConstraintsJOHNSON, Bruce.Communications of the ACM. 2009, Vol 52, Num 9, pp 44-48, issn 0001-0782, 5 p.Article

The inevitable cycle : Graphical tools and programming paradigmsSOUKUP, Jiri; SOUKUP, Martin.Computer (Long Beach, CA). 2007, Vol 40, Num 8, pp 24-30, issn 0018-9162, 7 p.Article

Challenges and requirements for an effective trace exploration toolHAMOU-LHADJ, Abdelwahab; LETHBRIDGE, Timothy C; LIANJIANG FU et al.International Workshop on Program Comprehension. 2004, pp 70-78, isbn 0-7695-2149-5, 1Vol, 9 p.Conference Paper

DNAfan: a software tool for automated extraction and analysis of user-defined sequence regionsGISEL, Andreas; PANETTA, Maria; GRILLO, Giorgio et al.Bioinformatics (Oxford. Print). 2004, Vol 20, Num 18, pp 3676-3679, issn 1367-4803, 4 p.Article

Enhancing creativity with groupware toolkitsGREENBERG, Saul.Lecture notes in computer science. 2003, pp 1-9, issn 0302-9743, isbn 3-540-20117-3, 9 p.Conference Paper

Hooke: an open software platform for force spectroscopySANDALL, Massimo; BENEDETTI, Fabrizio; BRUCALE, Marco et al.Bioinformatics (Oxford. Print). 2009, Vol 25, Num 11, pp 1428-1430, issn 1367-4803, 3 p.Article

Software process measurement in the real world : Dealing with operating constraintsLAVAZZA, Luigi; MAURI, Marco.Lecture notes in computer science. 2006, pp 80-87, issn 0302-9743, isbn 3-540-34199-4, 1Vol, 8 p.Conference Paper

Ncvtk : A program for visualizing planetary dataPLETZER, Alexander; ZIEMLINSKI, Remik; COHEN, Jared et al.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-26032-3, 3Vol, part III ,838-841Conference Paper

Material Flow Networks as a Means of Optimizing Production SystemsLAMBRECHT, Hendrik; SCHMIDT, Mario.Chemical engineering & technology. 2010, Vol 33, Num 4, pp 610-617, issn 0930-7516, 8 p.Article

CoCoa: a software tool for estimating the coefficient of coancestry from multilocus genotype dataMAENHOUT, Steven; DE BAETS, Bernard; HAESAERT, Geert et al.Bioinformatics (Oxford. Print). 2009, Vol 25, Num 20, pp 2753-2754, issn 1367-4803, 2 p.Article

Advances in Understanding Knowledge Work: An Experience ReportZACHRY, Mark; HART-DAVIDSON, William; SPINUZZI, Clay et al.SIGDOC. Conference. 2008, pp 243-248, isbn 978-1-605-58083-8 1-605-58083-X, 1Vol, 6 p.Conference Paper

Forensic investigation of certain types of mobile devicesLUTTENBERGER, Silas; CREUTZBURG, Reiner.Proceedings of SPIE, the International Society for Optical Engineering. 2011, Vol 7881, issn 0277-786X, isbn 978-0-8194-8418-5, 78810Q.1-78810Q.12Conference Paper

A Feature-Based Service Identification Method to Improve Productivity of Service-Oriented SystemKANG, Dongsu; SONG, Cheeyang; BAIK, Doo-Kwon et al.IEICE transactions on information and systems. 2010, Vol 93, Num 12, pp 3392-3395, issn 0916-8532, 4 p.Article

Using eclipse as a tool-integration platform for software developmentIEEE software. 2007, Vol 24, Num 2, pp 87-89, issn 0740-7459, 3 p.Article

Verified software : A grand challengeJONES, Cliff; O'HEARN, Peter; WOODCOCK, Jim et al.Computer (Long Beach, CA). 2006, Vol 39, Num 4, pp 93-95, issn 0018-9162, 3 p.Article

Logiciels de modélisation des structures : expression du besoin = Structural analysis softwares: expression of the needLEVESQUE, Jean-Raymond; CHAVANT, Clément.Techniques de l'ingénieur. Génie mécanique. 2003, Vol BD1, Num BM5016, pp BM5016.1-BM5016.18, issn 1762-8768Article

CAO: logiciel CATIAMORENTON, Pascal.Techniques de l'ingénieur. Génie mécanique. 2006, Vol BD1, Num BM5019, issn 1762-8768, BM5019.1-BM5019.8Article